package TP;
public class PurseException extends Exception {

	public /*@ pure @*/ PurseException(String message) {}
}
